Modelação do atraso dos veículos em cruzamentos semaforizados