Models and Methods for Evolutionary Histories Involving Hybridization and Incomplete Lineage Sorting