How the Evan Gershkovich prisoner swap was agreed