A road map for phylogenetic models of species trees