Denmark votes to scrap public holiday to pay for military spending increase