sands mining in sri lanka