Graded supermanifolds and non-linear σ-models