Global operating theatre distribution and pulse oximetry supply: an estimation from reported data.