On Bergman's Diamond Lemma for Ring Theory