Irrigation in the Texas High Plains: a brief history and potential reductions in demand