Statistics for Geothermal systems in Sri Lanka and exploitation of geothermal energy