Using High-Risk Pools to Cover High-Risk Enrollees