Probabilistic speed–density relationship for pedestrian traffic. (July 2016)