Microsoft’s first keyboard change in decades is all about AI