I would like to know if Redmi Note 5 Pro going to get MiUi 12 or not?