Finite-time control of linear mechanical systems subject to non-smooth impacts