Wann wurden Geräte zum Abspielen des MP3-Formats bereitgestellt?