Are there any networked music players which separate library, playlist and playback such that they can be run on multiple machines?