A continuation-passing evaluation semantics for classical proofs