process of granite mining processing