Rock-mass classification in tunneling based on seismic velocities and tunnel- driving data using support vector machines