Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis