För några minuter sedan lärde vi oss äntligen namnet på det efterlängtade första och sanna Redmi-flaggskeppet, eller Redmi K20 Pro.