Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes