依据《特种设备安全监察条例》的规定，下列特种设备中，其设计文件应当经国务院特种设备安全监督管理部门核准的检验检测机构鉴定，方可用于制造的是( )。