Multi-Agent Plan Recognition with Partial Team Traces and Plan Libraries