Analyzing Passive Design Retrofits using Pareto Front Optimization to Reduce Operational Carbon in Commercial Laboratory Spaces | Synapse