Toward a theory of statistical tree-shape analysis