How can gravitational lensing be used to find planets?