River sand mining and associated environmental problems in Sri Lanka