Military expenditure and economic growth