Exact restitution and generalizations for the Hunt-Crossley contact model