how long does iridotomy surgery take