a mediaplayer for android platform