Homotopy equivalence of filtered A_\infty algebras