Simulating Heart Valve Dynamics in FEniCS