Computing Local Unifiers in the Description Logic EL without the Top Concept