A Declarative Framework For Big Graph Analytics And Their Provenance