Ab initio heats of formation of medium-sized hydrocarbons. 3. The valence isomers of benzene