Uma proposta de modelagem matemática para o ensino de velocidade média: o semáforo da avenida João Paulo II