Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X