Modeling of aortic valve dynamics in a lumped parameter model of left ventricular-arterial coupling