Twitter, 13 other tech companies headed by Indian-origin CEOs