Algebraic theory of affine monoids