Generic programming techniques for parallelizing and extending procedural finite element programs