portable electronic audio players that store and play digitally coded audio recording