Automation of Finite Element Methods. (2016)