Xiaomi launches MIUI 9 with improved features and performance