Brian Tinsley is a physicist whose wife made fundamental contributions to the astronomical understanding of how galaxies what?