machines used in granite mining