Higher-Order Averaging, Formal Series and Numerical Integration I: B-series