¿Cuál es la diferencia entre el balanceo de carga en la capa 4 (TCP/UDP) y en la capa 7 (HTTP/HTTPS) en el modelo OSI? ¿Qué tipo de balanceador de carga, como HAProxy/Nginx o AWS NLB/IPVS, es más efectivo para terminar millones de conexiones WebSocket de larga duración?