Object-Based Image Analysis and Treaty Verification