On infinite Gröbner bases in free algebras