Google’s search choice screen had virtually no effect on search market share, perhaps by design