In Plutarch's biography of Gaius Marius he mentions how he was treated by a surgeon for varicose veins, how would this procedure been performed?