ASTRAL: genome-scale coalescent-based species tree estimation | Synapse