Japanese railway shelter replaced in less than 6 hours by 3D-printed model