Linked Presentation: How "How" Explains What "What" Computes — How-Provenance for SQL and Query Compilers