Digitizing the Sedimentary Record: Efficient Data Structures for Dynamic Stratigraphy