Hello! I am thinking in buying a new phone and i have a budget of 200e to spend MAX. I am stuck between Xiaomi mi a1, Xiaomi redmi note 5 and Nubia Z17 lite. Xiaomi note 5 is the best in antutu and battery, but mi a1 has portrait mode but has the worst battery. Aso a1 has android one or android...