what is the process for the mining of sillimanite