When (and how) to surgically treat asymptomatic renal stones