A cut-based mixed integer programming formulation for the hop-constrained cheapest path problem | Synapse