CHARMED: A Multi-Objective Co-Synthesis Framework for Multi-Mode Embedded Systems