HotFill: A cooling time constrained raster-fill planning algorithm for extrusion 3D printing. (November 2022)