FEniCS: Automated Scientific Computing