Temasek buys stake in U.S. electronic trading firm Virtu – source