The Multi-species Coalescent Model and Species Tree Inference