US consumer prices unchanged in October