On the Value Function of a Mixed Integer Linear