ornamental and other construction stone quarrying in indonesia