Mathematical Formulations for the Multi-station Drone Scheduling Problem in Shore-to-Ship Delivery