publication venue for Architecture of Multi-segmented Inspection Robot KAIRO-II 2007 Development of a mixed integer programming model for the optimal recycling of demolition waste 1994