A decomposition method for network-constrained unit commitment with AC power flow constraints. (August 2015)