Who produced the American 3D computer-animated holiday-themed musical fantasy featurette short film that was released in November of 2017 in theaters but originally was to air on ABC?