official release of the Xiaomi Mini PC with a Core i5