Can a smooth projective variety over $\mathbb{Q}_p$ have two smooth projective models with non-isomorphic $\mathrm{mod}\:p$ fibers? Can the $\mathrm{mod}\:p$ fibers have different number of rational points?