sand mining in sri lanka