Gravar-mail: MiRNA therapeutics based on logic circuits of biological pathways