A general local-mode theory for high energy polyatomic overtone spectra and application to dichloromethane