A calculus for collective-adaptive systems and its behavioural theory