TCS shares are trading down after its announcement to lay off 12,200 workers