Invariant higher-order variational problems: Reduction, geometry and applications