A concise second-order complexity analysis for unconstrained optimization using high-order regularized models. (3rd March 2020)