British Ants: their life-history and classification