I mix with the 702 - they are pretty brilliant. However, they are very open headphones, all the others you listed are closed or only semi open.
Is isolation important to you?
Of the ones listed, the AKG 240, Beyer 880, and the Senn 25-1 ii are the more neutral options, better for mixing.
Other good options:
Sennheiser 600
Shure 840
Overall, you are looking for relatively neutral response (not overly bright, or overly bass heavy, etc.) Or at least something you can tweak with a limited EQ to be pretty flat.
I also recommend using a crossfeed plugin while mixing, to mimic nearfield monitors, so you get a better idea of what this would sound like through speakers (saves re-work).
Edited by liamstrain - 1/29/12 at 4:53pm