When did Comcast formally announce its purchase of this cable provider