Spectral-Risk Safe Reinforcement Learning with Convergence Guarantees