General Theory of Leibniz Algebras