Microsoft uses AI to push Windows 10 upgrade to users