industrial sand production 30 million metric tons