US consumer prices revised lower in December; but raised in November