How long should double J stent be kept in after ureteroscopic lithotripsy?