Differentiable Cardiac Electrophysiology Simulations for Dynamical State and Parameter Estimation