Google’s share of the search engine market is actually shrinking