The mechanics of diamond core drilling of rocks