Logic-Based Multi-objective Design of Chemical Reaction Networks