Add appendix describing provenance data model