home > > summary of granite mining industry in indonesia