Algebraic Theory of Locally Nilpotent Derivations