The metrics behind Spotify’s IPO