the process of mining silica>