Statistical Modelling of Level Difficulty in Puzzle Games