publication venue for A Model-Based Approach to Recovering the Structure of a Plant from Images 2015 Using Coq to understand nested datatypes 2007