The Netherlands fights the sea with 3,500 pumping stations