Baker-Campbell-Hausdorff Formula and Exponential Coordinate Law for the Heisenberg Group