Killing of targets by effector CD8$^+$T cells in the mouse spleen follows the law of mass action