A ∞-bimodules and Serre A ∞-functors