Xiaomi is bringing Android Q to 13 phones starting this fall