NIST Time Servers: The 5 µs Power Outage Incident Explained