Faugere's F5 Algorithm Revisited