Shell sold 9. What percent of its stake in Woodside Petroleum did Shell sell in June 2014