Automation of finite element methods (2016)