What is the annual consumption of sand ?

40 billion tons

**********