Patching over Hensel Semi-global fields and local-global principles for algebraic and differential objects