Finite element simulation of 3D ion channel systems: continuum model, numerical method, and software platform