“May the United States invoke a non-statutory mitigation defense to avoid the unambiguous requirement of section 1402 of the Patient Protection and Affordable Care Act (‘ACA’) that the Government ‘shall make’ cost-sharing reduction payments to insurers in set amounts?”