TCS market value crosses Rs 4 trillion; stock at all-time high