Groundwater pumping and spatial externalities in agriculture