John Carmack quits CTO position to work on AGI