What happens to latency if service time is cut in half (2022) (pveentjer.github.io)