Provenance for the Description Logic ELH