Algorithm Selection by Rational Metareasoning as a Model of Human Strategy Selection