McDermott International exits bankruptcy through Lummus sale