Galois Representations in Arithmetic Algebraic Geometry: Models of Shimura varieties in mixed characteristics