Mustafin models of projective varieties and vector bundles