process of mining sand for glass