different types of drilling machines in mining or