Remake, remaster, reboot y port: ¿en qué se diferencian?