Fuzzy normal subgroups and fuzzy cosets