How many people have the authority to trade in NYSE?