Interactive Fiction: History and Theories