Xiaomi's Redmi 10A officially launched in Kenya