How the Windows Time service treats a leap second