Cross-property relations between electrical conductivity and the seismic velocity of rocks