Android video player based on ffmpeg