A survey of the dose of inhalational agents used to maintain anaesthesia in infants