Comparison of the progression-free survival between robot-assisted thymectomy and video-assisted thymectomy for thymic epithelial tumors: a propensity score matching study