Running time variability and resource allocation : a data-driven analysis of high-frequency bus operations · Study