Hyperdemand: A static traffic model with backward-bending demand curves. (December 2020)