Automorphic equivalence within gapped phases of infinitely extended fermion systems