IRCTC shares jump 4% on rail ticketing collaboration plan with redBus