小米k30什么时候上市（红米k30哪年出的）