A theoretical and experimental study of the percussive drilling of rock part I—theory of percussive drilling