Negative-U properties of the lattice vacancy in silicon