Microsoft joins Google in offering billions in cloud discounts to the U.S. government