Benders' decomposition for the two-stage security constrained robust unit commitment problem