what is the average laps that have gregorio lavilla as the rider, with a grid greater than 13?
none