Reddit files to take the company public