How a public option for health insurance works in Colorado,