Lenovo Air 13 Pro is a Xiaomi Mi Notebook Air competitor