iPad mini 7什么时候发布？升级在哪些方面？有高刷吗