干式真空泵有哪些类型用于有腐蚀性气体环境