The co-area formula for Sobolev mappings