Christmas song of the day: “Do They Know It’s Christmas”