Denmark inks deal to buy $580M air defense system