Revisiting Semiring Provenance for Datalog