C*-algebras and their representations, with applications to physics and model theory