Robotic first rib resection for venous thoracic outlet syndrome