Inferring Log-Based Behavioural System Models using Markov Chains