mineral sand mining in srilanka