Reverse mathematics and graph coloring: eliminating diagonalization