From gene trees to species trees II: Species tree inference in the deep coalescence model