Quantifying non-stabilizerness in many-body systems