Which compression standard is used by ATSC 1.0 for digital television broadcasting in the United States?