Velocity observers for linear mechanical systems subject to single non-smooth impacts