The Campbell-Baker-Hausdorff formula