Rock Dynamics and Geophysical Exploration: Introduction to Stress Waves in Rocks (Developments in Geotechnical Engineering)