Mỏ, khai khoáng