Ballast water dynamic allocation optimization model and analysis for safe and reliable operation of floating cranes.