Qual é a diferença entre o balanceamento de carga na Camada 4 (TCP/UDP) e na Camada 7 (HTTP/HTTPS) no modelo OSI? Qual tipo de balanceador de carga, como HAProxy/Nginx ou AWS NLB/IPVS, é mais eficaz para terminar milhões de conexões WebSocket de longa duração?