Full-waveform inversion in three-dimensional PML-truncated elastic media : theory, computations, and field experiments