Redmi Buds 3 Pro goes official as the global variant of the Redmi ...