Revisiting the Green Revolution: Irrigation and Food Production in Twentieth-Century India.