Crop intensification, land use, and on-farm energy-use efficiency during the worldwide spread of the green revolution