A mixed antagonistic/synergistic miRNA repression model enables accurate predictions of multi-input miRNA sensor activity