I am trying to compose a query that will list all high rep users who have a silver badge but no gold ones. I am a newbie to the SEDE. I have gone through the tutorial and properties documentation, but cannot figure out how to use them to find out badges. Please help me Thank you