Automated solution of differential equations by the finite element method : the FEniCS book (2012)