The music industry’s newfangled growth business: vinyl records