A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP