Vessel Route Choice Model and Operational Model based on Optimal Control