Capacity Drop on Freeways: Traffic Dynamics, Theory and Modeling