A Jacobian criterion of nonsingularity in mixed characteristic