Using Mathematical Programming for Electricity Spot Pricing