Internet of Things related patent filings decreased in the construction industry in Q3 2023