Gravitational Lensing and Dark Matter