Modelos aritméticos para variedades Shimura