Global summit in Seoul calls for human control over AI in military use