In paperwork to take its shares public in a $1 billion IPO, Spotify estimates it has twice the subscribers of its closest rival.