Integration of end-of-life options as a design criterion in methods and tools for ecodesign