The Complexity of Subsumption in Fuzzy EL