Who was the british ai pioneer responsible for proposing a test for determining if machines could think? alan turing john mccarthy allen nevell herbert simon?