红米6高配什么时候上市_红米4高配版上市时间