Euthanasia of laboratory mice