Introduction to Automated Modeling with FEniCS