Microsoft swallows Nokia's phone business for $7.2 billion