Improved efficiency is enabling record U.S. crude oil production from fewer rigs