Pulsation Theory Models for Cepheids in Eclipsing Binary Systems