How TikTok shrunk pop songs