Statistics of A comparison of node-based and arc-based hop-indexed formulations for the Steiner tree problem with hop constraints