when the redmi 3s gets miui9 update