Which psychologist proposed the cognitive developmental theory that includes the formal operational stage appearing in adolescence?