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