Attempts to apply high performance fiber reinforced cement composite (HPFRCC) to infrastructures in South Korea