Measuring technical efficiency of Gujarats thermal power generation industry using data envelopment analysis