Striving for humane deaths for laboratory mice: hypobaric hypoxia provides a potential alternative to carbon dioxide exposure