Check out these number-based Christmas music facts that you can pull out over the holiday season. From popular carols to top-selling or top-streaming songs.