Match Group names ex-CBS Interactive boss Jim Lanzone as Tinder’s new CEO, beginning August 3 (Georgia Wells/Wall Street Journal)