The federal government’s onshore oil and gas auction generated four times more revenue than any previous sale