Gravitational Lensing: Recent Progress and Future Goals