Analysis of inverse boundary value problems for elastic waves