Sustainable energy management of water distribution systems through optimised pump scheduling