Forget the 15-inch MacBook Air, the 13-inch might shrink