Analysing Wiki Quality Using Probabilistic Model Checking