Disney buys Lucasfilm for $4.05 billion