Which format is used by the companies that sell the music legally