A train air brake force model: Locomotive automatic brake valve and brake pipe flow formulations. (January 2013)