Redmi Note 5 and Note 5 Pro are getting MIUI 12 stable update globally