An Efficient Pairing-Based Shuffle Argument