Network coding and the model theory of linear information inequalities.