A world geography of irrigation