John Henry Reynolds was a British astronomer who served as the president of the Royal Astronomical Society who frequently corresponded with American astronomer Edwin Hubble, developed a formula for measuring the surface brightness of what?