process of granite mining and machines used