Lucro da Xiaomi dispara 80,9% no terceiro trimestre de 2025, para 1,3 mil milhões de euros, superando as estimativas do mercado