save animation as mp4 in matplotlib