A positive mass theorem for static causal fermion systems