Dhcp lease time: what it is, how it works, and how to change it