Guaranteed stable projection-based model reduction for indefinite and unstable linear systems