Xiaomi 13 review: A petite powerhouse