cost of 4100 mining shovel