Walt Disney Co. buys Lucasfilm