EIT-guided end-expiratory pressure individualization in robotic surgery with high PEEP ventilation: a prospective observational study | Synapse