Human resources and innovation: total factor productivity and foreign human capital