cigarette lighter receptacle in an automobile