EU formally announces approval of Google's acquisition of DoubleClick