Vessel passage scheduling through cascaded bridges using mixed-integer programming