The Integral Coefficient Geometric Satake Equivalence in Mixed Characteristic and its Arithmetic Applications