Gravitational Lensing: What It Is And How It Is Helping Us Discover New Galaxies