PayPal to reduce global workforce by 9%