An optimal control model for load shifting – With application in the energy management of a colliery