process on how is silica mined