A theory of tensor products for vertex operator algebra satsifying C_2-cofiniteness