Principles of rock drilling