A Formalized Design Process for Bacterial Consortia That Perform Logic Computing