Hydromechanika górnicza