Sustainable port maintenance strategies: trade-offs between dredging cost and port call efficiency