红米Note9pro什么时候发布？将于11月中旬发布并同步上市