How an Einstein ring can give us high-res exoplanets