Introduction and verification of FEDM, an open-source FEniCS-based discharge modelling code Academic Article