Finiteness properties of extension functors of ETH-cofinite modules