IRCTC shares to be listed on stock market on Monday, 14th October