non-metal mining industry