The dimension formula for the Lorenz attractor