Designing a Mandatory Greenhouse Gas Reduction Program for the U.S.