An Electricity Procurement Model with Energy and Peak Charges