A Markov-chain activity-based model for pedestrians in office buildings