Managing desktop pools