Patern-avoiding permutations