ứng dụng của toán học trong khai thác mỏ