TSMC has reduced its full-year revenue forecast for 2023