Probabilistic human mobility model in indoor environment · Study