Technical and public approaches to involve dredging stakeholders and citizens in the development of a port area