Qual è la differenza tra il bilanciamento del carico a livello 4 (TCP/UDP) e a livello 7 (HTTP/HTTPS) nel modello OSI? Quale tipo di bilanciatore di carico, come HAProxy/Nginx o AWS NLB/IPVS, è più efficace per terminare milioni di connessioni WebSocket di lunga durata?