The Si (100) surface. II. A theoretical study of the relaxed surface