Dynamic Inefficiencies in Employment-Based Health Insurance System Theory and Evidence