Isogeny estimates for abelian varieties, and finiteness theorems