Ole-Johan Dahl hylles med IEEE John von Neumann-medaljen