What is the legal mechanism that permits a convicted murderer serving a life sentence to be released for a prisoner exchange?