On the semantics of algebraic quantum mechanics and the role of model theory