A note on the ancient hospitals of Sri Lanka with special reference to that at Mihintale