Higher models of determinacy