‘Crushing the stone’: a brief history of lithotripsy, the first minimally invasive surgery