TSMC’s performance in 2023H1 is lower than expected