The radio Cherenkov technique for ultra-high energy neutrino detection