История ГЛаДОС: искусственный интеллект в игре Portal