of price of hydraulic mining shovels