Five tons are mined annually – five tons of what?

Question
Five tons are mined annually – five tons of what?
Answer
Diamonds