Microsoft improves the Windows 10 update experience through machine learning