Text this: Optimal energy management of crushing processes in the mining industry