summary of granite mining industry in indonesia