“Whether the government is required to pay insurers the full amount of the cost-sharing reduction payments required by the unambiguous shall-pay language of §1402 of the ACA.”