Disney to buy Lucasfilm for $4 billion