Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor