An ab Initio Study of Solid Nitromethane, HMX, RDX, and CL20: Successes and Failures of DFT