Well-quasi-ordering of combinatorial structures