Reduced-order observers for the velocity estimation of non-linear mechanical systems subject to non-smooth impacts