A quick look at the Redmi Note 12 from Xiaomi