The complexity of subsumption in fuzzy EL