An Android application to play music concurrently on one or more devices