How to configure AD Sync profiles in ServiceDesk 7.1 SP2