Xiaomi Open-Sources MiMo-V2.5-Pro — Frontier Coding Performance at a Fraction of the Price