Gravar-mail: CrossPlan: systematic planning of genetic crosses to validate mathematical models