the process of mining silica from sand