Ab initio heats of formation of medium-sized hydrocarbons. The heat of formation of dodecahedrane