Ehrenfest Theorems, Deformation Quantization, and the Geometry of Inter-Model Reduction