Perfectly matched layers for time-harmonic elastodynamics of unbounded domains: theory and finite-element implementation