Gravar-mail: Model-based design of RNA hybridization networks implemented in living cells