Khi nào HIP-4 sẽ được triển khai trên mainnet?