Trav-SHACL: Efficiently Validating Networks of SHACL Constraints Preprint