Microsoft will support leap seconds in Windows 10