The multi-species coalescent model and species tree inference