how does hydraulic rock drills work