Influence-Based Abstraction for Multiagent Systems