Gravitational lensing and dark matter