Title: Optimal electro-hydraulic control of mining booms