A modeling approach for canal water distribution considering one-leader-multi-follower gaming structure and cooperative relationship of water users — A case study of Hetao Irrigation District, China | Synapse