Optimal floodgate operation for river flood management: The case study of Padova (Italy)