Stochastic Optimal Energy Management of a Shore-Side Renewable Hydrogen Supply System for Hydrogen-Based Marine Vessels | Synapse