A model to evaluate Bonus-Malus systems by recursive procedures