what is sri lanka sand used in construction