Engineering Principles for Synthetic Biology Circuits in Cancer Immunotherapy