Probabilistic framework for gene expression clustering validation based on gene ontology and graph theory