Certifying algorithms for recognizing interval graphs and permutation graphs