Globally Optimal Short-Term Unit Commitment and Dispatch for Combined Heat and Power Generation Units Connected to District Heating Grids.