Reduction of fuzzy automata by means of fuzzy quasi-orders