Training Verifiably Robust Agents Using Set-Based Reinforcement Learning