An Interview with Dana Scott