简述有独立请求权的第三人参加诉讼的程序。