matematyka w górnictwie