Full Count: Why the Astros didn’t get a pitcher at the trade deadline