army manuals for quarry drills