cost of new mining shovels