Selling PayPal shares and where does the revenue from the share sale actually come from?