A number of states have released enrollment information for their Obamacare markets, but HealthCare.gov hasn’t.