[WIP] Add example for a subduction model

Add example for subduction - still in progress
Do we really need this level of global refinement? This results in like 10 million degrees of freedom.