Are Reddit trophies given out by moderators manually or is there some type of algorithm that determines if one gets a trophy?