matrix analysis roger a. horn charles r. johnson p