Social network firm Reddit files for initial public offering in US