Mechanik górniczy