An Axiomatic Approach to Time-Dependent Shortest Path Oracles