Dark Matter and Gravitational Lensing