Lucro da Xiaomi aumenta 64,5% para um recorde de 1,3 mil milhões de euros no primeiro trimestre