Gravar-mail: Model-based probe set optimization for high-performance microarrays