Which two of Feynman's colleagues helped put the lectures into book format