Leibniz algebras