An upper bound on the buffer overflow probability in sequential decoding