Local homology, finiteness of Tor modules and cofiniteness