Modeling Heart Rate Recovery with Differential Equations