A Unified Framework for Extensive-Form Game Abstraction with Bounds