Thinking Machines Lab co-founder Tulloch departs for Meta, WSJ reports