SHACL Validation under Graph Updates (Extended Paper)