The world is running out of sand. About 50 billion tons of sand and gravel are extracted annually, most of which is used for ...