Mechanika górnicza