Datatypes for video formats in galaxy