Xiaomi Redmi Note 11 4G goes official: It's a Redmi 10 with a different camera setup