Envoyer la notice par courriel: Designing miRNA-Based Synthetic Cell Classifier Circuits Using Answer Set Programming