An axiomatic approach to supermanifolds