Algorithm selection by rational metareasoning as a model of human strategy selection