Reconstruction of the Precambrian sedimentary basin in the granulite belt of Sri Lanka