The British ants allied to Formica rufa L (Hym., Formicidae)