A Unifying Framework for Formal Theories of Novelty