Die sinking electro-erosion machines