The FEniCS Project: What’s new and what’s next