Which one of this three Beasts is the best choice

Almost one year I'm a proud owner of HTC SensationXE but I can tell that this phone is great one but it starts to be boring a little bit and I thought to upgrade to one of the this three new Quad core phones but I don't want to waste to much money
Now here are the three phones that I'm interested the most and I will start with the one that its seems to me that is not the best choice
Before I start I have to say that for my one year old Sensation XE I can get about 350$ so I'm planning to add about 70 $ in total
Ok the first is LG Nexus 4 

This is great phone with great hardware and also with excellent price form 310$ for 8GB internal memory and 349$ for 16GB
The only disadvantage is that this phone doesn't have slot for memory card and that in all benchmark videos that I have watched on YouTube it has worst results than Samsung Galaxy S3 and HTC One X besides that this phone has better CPU,GPU,RAM and latest Jelly Bean 4.2 than SGS3 and One X
Ok we are going on my next choice

Huawei Honor 2 

This is the one of latest Chinese high end Quad core phones and it has new Quad Core K3V2 CPU (for which one the Chinese claims that is the fastest CPU build in the phones so far and which one I'm doubt a lot),2GB RAM and 8 GB internal storage
This phone is available for just over 300$ 8 GB Internal.storage but this phone unlike Nexus 4 it has memory card slot and support up to 32GB MMC
But the negative thing for this phone is that I can't find what kind of GPU this phone has ( I can read on the net that it has some kind of 16 core GPU for better performance but I can't understand what that's actually means) and the second negative thing is that I can't find any  benchmark video just to check out the performance of that k3V2 CPU and that GPU mentioned earlier
And now we are going with my third option 

Xiaomi MI2 

If this phone was available for buying this would be my choice for sure because by my opinion this is the best of this three
It has the same Quad core cpu,2 GB RAM,Andreno 320 GPU actually it has almost the same hardware under the hood as Nexus 4 but unlike Nexus 4 on all benchmark tests gives almost twices better results and this Xiaomi smokes Samsung Galaxy S3 and HTC One X
Also this phone has low price and you will have to give 319$ for 16GB variant
This one also just.like the previous two has disadvantages and that is :
Dosen't have memory card slot and
It's very very hard to find on the world market
On various sites if you want to have this beast you will have to place an order but non of this sites didn't have this phone in stock and that is more tragically they even don't have idea when will they have
So will have to throw your money and you don't know when you.will get the phone
So what do you think which one is the right choice ????