A general mathematical model of probabilistic ripple-carry adders