A ground-complete axiomatization of stateless bisimilarity over Linda