Buy-Side Agency Algorithms: Institutional Investor Trades and Market Quality around SEC Filings