Spotify's recent F-1 filing is packed full of metrics and insights into both consumer subscriptions and the streaming music industry.