Gravar-mail: Predicting missing expression values in gene regulatory networks using a discrete logic modeling optimization guided by network stable states