Seismicity around Sri Lanka from Historical Records and its Engineering Implications