[MWC2019] Xiaomi Mi MIX 3 5G announced with a larger battery and a higher price point