Global military spending in 2017 reaches $1.7 trillion