Determining candidate hypobaric hypoxia profiles for humane killing of laboratory mice