resumen de la industria minera de granito en indonesia