Xiaomi's Redmi Note 10 naming convention is a total mess