Smart technologies and dematerialization as new opportunities for the design of more sustainable ships: Case studies in cruise vessel design.