How much Woodside stock in Shell sell in 2001?