a tool for drilling