From event-labeled gene trees to species trees