How the NFL injury report is supposed to work