Performance of European cross-country oil pipelines – Statistical summary of reported spillages in 2023 and since 1971