On the Convergence of SARSA with Linear Function Approximation