Utility of the Citrobacter rodentium infection model in laboratory mice | Synapse