The role of peer irrigators on the choice and intensity of efficient irrigation techniques