CBO microsimulation of demand for health insurance