Ab initio studies of Si(100) surface reconstruction