Experiments with Android 4.3's MediaCodec and MediaMuxer