رياضيات التعدين