Escondido High School rebuilds mariachi program after pandemic