On the set of reduced states of translation invariant, infinite quantum systems