A digital technique to compensate for time- base error in magnetic tape recording