FEniCS is a collection of free software for automated, efficient solution of differential equations