A kind of fuzzy concept lattice defined from product implication operators