Design and analysis of KPIs to improve operating room management