Assessing the impact of the coronavirus lockdown on unhappiness, loneliness, and boredom using Google Trends.