The ant Leptothorax tuberointerruptus in Great Britain: distribution, ecology and worker variability