How long does it take to migrate pi to mainnet?