Beyond first-order asymptotics for Cox regression