Optimizing Partial Area Under the Top-k Curve: Theory and Practice