Sobolev spaces with respect to a weighted Gaussian measure in infinite dimensions