Theatre efficiency and effective usage of operating theatre spaces and time