Which protocol does an IPv4 host use to obtain a dynamically assigned IP address?