A Zariski-Nagata theorem for smooth $\mathbb{Z}$-algebras