The 15.5-inch MacBook Air will arrive in spring 2023