Semi-derived and derived Hall algebras for stable categories