Humans decompose tasks by trading off utility and computational cost