Yahoo Taps PayPal’s Thompson As CEO