how many tons of rock produce