It’s a good choice. If you’re aiming for system speed, you can update it to MIUI 13. Apart from that, it’s a matter of personal preference.