How big traffic lights actually are