Define Cherenkov radiation.