How Windows Deployment Services Uses PXE