Design and Manufacturing of Character Costumes, Puppets, and Animation for the Themed Entertainment Industry.