What are the types of drill bits used in mining core drilling?