DSC resources for deploying Remote Desktop Services