Xiaomi Mi 9T vs Samsung Galaxy A80 — by the numbers