Mathematics, Animation, and Python through Manim