Quantitative abstractions for collective adaptive systems