Is it okay to jump from my current MIUI version (12.5.19) directly to 13.0.7 or should I flash first the 13.0.2 version before proceeding to 13.0.7?