How a Television ATSC Tuner Works