Monoid Congruences, Binomial Ideals, and Their Decompositions