what is used for drilling in an open pit mine