A nonlinear model for the wave propagation in high temperature superconducting transmission lines