A bonus—malus system in automobile insurance