granite mining equipment are used in mining of granite