The Global Ecosystem Dynamics Investigation: high-resolution laser ranging of the Earth’s forests and topography