what kinds of mining is used for corundum