A symmetric matrix has all real eigenvalues. What additional property do its eigenvectors corresponding to distinct eigenvalues have?