Information Field Theory Approach to Uncertainty Quantification for Differential Equations: Theory, Algorithms and Applications