How long would it take to fly around betelgeuse?