Boys in UK to be given HPV vaccine