vivo X200 Pro mini: a new compact smartphone is already on sale