Dual-credit price variation and optimal electrification timing of traditional automakers: A dynamic programming approach