A novel robust frequency-constrained unit commitment model with emergency control of HVDC