How Load Balancers Use Health Checks in Distributed Systems