Exploiting vector space properties to strengthen the relaxation of bilinear programs arising in the global optimization of proce