So if DuckDuckGo doesn't have ads ... how exactly do they pay their employees and run their servers? Charity?