Weighted ASTRID: fast and accurate species trees from weighted internode distances