Coastal flood management in Semarang, Indonesia