Projective Modules over Witt Rings