Reddit files for initial public offering, favouring frequent users