Short Term Electricity Procurement of Large Consumers Considering Tidal Power and Electricity Price Uncertainties