The Steiner tree problem I: Formulations, compositions and extension of facets | doi.page