Elastic wave propagation in rocks