Static and dynamic resource allocation models for single-leg transportation markets with service disruptions