Hard-sphere dynamics and binary-collision operators