Gravar-mail: Construction of protein phosphorylation networks by data mining, text mining and ontology integration: analysis of the spindle checkpoint