ASTRAL-Pro: quartet-based species tree inference despite paralogy