Tenho modelo Xiaomi Redmi 7A comprado em Madrid, ele vai funcionar no Brasil?