An Overview of the FEniCS Project