Chemical models for sulfate reduction in closed anaerobic marine environments