Product Differentiation Under Congestion: Hotelling Was Right