SF Muni's rail system will finally see an upgrade from floppy disks