World military expenditure reaches new record high as European spending surges