Optimal Energy Rationing for Prepaid Electricity Customers