redmik40的价格是怎样的