Queen mating and paternity variation in the ant Lasius niger