ExtraHop names new CEO in planned transition following private equity acquisition