[firedrake] Adaptive mesh example