The most popular Google searches of 2023 – including the songs we hummed the most