Xiaomi 17 is a small(ish) phone with a big(ish) battery