Homotopy equivalence of A_infty bimodules