Array Program Transformation with Loo.py by Example: High-Order Finite Elements