The effect of mergers on variety in grocery retailing