Production and programming of television comedies in Franco’s regime: Jaime de Armiñán and the first traditional comedies