Automated Code Generation for GPU-Based Finite Element Computations in FEniCS