surgical crushing of a stone