San Francisco's light rail to upgrade from floppy disks