Designing miRNA-Based Synthetic Cell Classifier Circuits Using Answer Set Programming