The listed ones are all capable cameras. The rest is up to the photographer.
However, a few things would rule out the NEX7 at this moment
1. Not avaliable (as far as the info/rumour goes, its delayed due to flood damage to the facilities in Thailand)
2. Interface and handling not proven in a high stress, demanding pace situation like weddings (since few real users have it atm)
3. Not enough native lenses (esp those with fast aperture)
Out of the 3. 5DII would be my top choice given its FF sensor for a bit more DOF control, resolution and ISO performance. Does industry standard videos too.
There is also the D700 (FF, 12mp, very good high ISO performance).
Don't rule out the other APS-C cameras as well. The Pentax K5, D7K, 7D all can do very well at lower cost with ISO performance that is so close to the FF sensors to be negligible at normal viewing sizes and prints.