Unification in the Description Logic EL without the Top Concept