Does Trump actually have to pay $83.3 million to E. Jean Carroll? Not immediately, at least