How CodeTV built a video streaming platform with Astro and Mux