On the Undecidability of Fuzzy Description Logics with GCIs and Product t-norm