Finiteness of rigid cohomology with coefficients