export of mineral sand from sri lanka