process of mining silica rock