mp3s are a way of storing music