Joint Optimization of Energy Replenishment and Sailing Speed for Inland Electric Vessels under Time-of-Use Pricing | AMiner