Mining activities in a coastal zone: Effects and remedial measures in the Netherlands