publication venue for A model-based approach to recovering the structure of a plant from images 2015 Using Coq to understand nested datatypes 2007