What is the difference between load balancing at Layer 4 (TCP/UDP) and Layer 7 (HTTP/HTTPS) in the OSI model? Which type of load balancer, such as HAProxy/Nginx or AWS NLB/IPVS, is more effective for terminating millions of long-lived WebSocket connections?