Spectral-Risk Safe Reinforcement Learning with Convergence Guarantees | Synapse