办理安全生产许可证，设置安全生产管理机构文件的形式是什么样的？那种红头文件。