Xiaomi Redmi 12 5G Global Debut Slated for August 1st; Key Specs ...