Cars 3 is a 2017 animated comedy adventure film released by an American film production company that took on its current name in what year?