Ophiolites, seismic velocities and oceanic crustal structure