Stock-market futures strengthening after October jobs report — live coverage