sand mining in china and indonesia