Practical lithotomy and lithotrity, or, an inquiry into the best modes of removing stone from the bladder