A model for the generation of nonlinear internal tides in the strait of Gibraltar