Faugère F5 algorithm