Microsoft продаст Lenovo программное обеспечение на $1,3 млрд.