Internal tides, nonlinear internal wave trains, and mixing in the Faroe-Shetland Channel