Greater numbers of consumers traded down to cheaper food over the Christmas trading period, compared with the year before, show new figures from the Office of National Statistics.