Home World’s top 100 defence groups boost arms sales by 4% in 2023, think tank SIPRI says