Logic-based multi-objective design of chemical reaction networks