EU formally approves Microsoft's browser plan