TPX batch - example - List all users with a specific profile name