A finite-strain constitutive theory for electro-active polymer composites via homogenization