Rock Drills: Design, Construction, and Use