It’s official: Kaiser can buy Group Health