When naming a commercial SDTV product, a frame rate can be specified without what