Multicommodity flow models for spanning trees with hop constraints