Oil from US gov’t leases tops 1B barrels in 2019