When hydrochloric acid reacts with sodium hydroxide to produce sodium chloride and water, is that a double displacement reaction?