European patent applications hit record high in 2023  Reuters