An Android music player example using MediaCodec