Repairs underway for PortMiami Tunnel