GMR Airports takes over operations of Nagpur airport