Text this: Optimal dose of mivacurium for laser-assisted laryngeal microsurgery: a pharmacokinetic study using closed-loop target-controlled infusion