Irrigation enhances precipitation at the mountains downwind