Statistics for The Third Distinction of Michael Scot's Liber quattuor distinctionum: a window into the social world of astrologers in the early thirteenth century