Government stake sale in IRFC