Divisibility theory in commutative rings: Bezout monoids