Infrastructure statistics of Kerala (Department of Economics and Statistics, Government of Kerala, 2013)