Brian Kernighan elected to the National Academy of Engineering