Diderot: A Domain-Specific Language for Visualizing FEniCS Functions