Got a digital music file on your computer that you want to listen to on your phone? Here’s what you do.