Mux: Video infrastructure for developers