Amazon Web Services to provide US government agencies with up to $1 billion in discounts